#include<bits/stdc++.h>

using namespace std;

int main(){
	long long num = 0x8000000000000000;
	printf("%f\n", num);
	
	return 0;
}